all: formal_exu_mul formal_bus

formal_bus:
	sby -f bus.sby

formal_exu_mul:
	sby -f exu_mul.sby

formal_gui:
	sby-gui
